The General Relativity version of must contain
rather than
since we saw in Special Relativity that
is just the 00 component of the energy- momentum tensor. This is expected anyway since in General Relativity all forms of energy [ not just rest mass ] should be a source of gravity.
To get the General Relativity version of the equations
involving we just replace the Minkowski metric
by
and the partial derivative
(,) by the covariant derivative (;). For example the energy- momentum
tensor for a perfect fluid in curved space time is
and the conservation equations become
In the above we have just used the strong form of the Equivalence Principle , which says that any non- gravitational law expressible in tensor notation in Special Relativity has exactly the same form in a local inertial frame of curved spacetime.
We expect the full [ non- vacuum ] field equations to be of the form
where O is a second order differential operator which is a 0/2 tensor
[ since the stress energy tensor T is a 0/2 tensor] and is a
constant. The simplest operator that reduces to the vacuum field
equations when T=0 takes the form
Now since [
in Special Relativity ], we require
.
Using gives
Comparing this with the double contracted Bianchi identities
we see that the constant has to be
.
Thus we are led to the field equations of General Relativity:
or
In general we can add a constant so the field equations become
In a vacuum , so taking the trace of the field equations we get
Since and the Ricci scalar
we find
that
, and substituting this back into the field equations leads to
We recover the previous vacuum equations if . Sometimes
is called the vacuum energy density.
We have ten equations [ since is symmetric ] for the ten metric components.
Note that there are four degrees of freedom in choosing coordinates
so only six metric components are really determinable. This corresponds
to the four conditions
which reduces the effective number of equations to six.
It is very important to realize that although Einstein's field equations look very simple, they in fact correspond in general to six coupled non- linear partial differential equations.